Optimization-based synthesis of stochastic biocircuits with statistical specifications
نویسندگان
چکیده
منابع مشابه
Optimization-based synthesis of stochastic biocircuits with statistical specifications.
Model-guided design has become a standard approach to engineering biomolecular circuits in synthetic biology. However, the stochastic nature of biomolecular reactions is often overlooked in the design process. As a result, cell-cell heterogeneity causes unexpected deviation of biocircuit behaviours from model predictions and requires additional iterations of design-build-test cycles. To enhance...
متن کاملStatistical inference of stochastic optimization problems
We discuss in this paper asymptotic statistical inference of stochastic optimization problems. These are optimization problems where the “true” objective function, and probably some of the constraints, are estimated, typically by averaging a random sample. The classical maximum likelihood estimation can be considered in that framework. Recently statistical analysis of such problems has been mot...
متن کاملSynthesis from Knowledge-Based Specifications
In program synthesis, we transform a specification into a program that is guaranteed to satisfy the specification. In synthesis of reactive systems, the environment in which the program operates may behave nondeterministically, e.g., by generating different sequences of inputs in different runs of the system. To satisfy the specification, the program needs to act so that the specification holds...
متن کاملSynthesis from scenario-based specifications
a r t i c l e i n f o a b s t r a c t Dedicated to the dear memory of Amir Pnueli: Friend, colleague, and a truly towering figure in computer science We consider the problem of the automatic generation of reactive systems from specifications given in the scenario-based language of live sequence charts (LSCs). We start by extending the language so that it becomes more suitable for synthesis. We ...
متن کاملsingle-step synthesis of multi-component spirobarbiturates using ionic liquids and synthesis of substituted pyridine filled with catalysts supported on solid substrate
in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of The Royal Society Interface
سال: 2018
ISSN: 1742-5689,1742-5662
DOI: 10.1098/rsif.2017.0709